closed extension

闭扩张